Codomain relations and functions